Partial Truth is not Uncertaintv d Fuzzy Logic versus Possibilistic Logic
نویسنده
چکیده
(1) Elkan’s proof uses too strong a notion of logical equivalence. The particular equivalence he considers, while valid in Boolean algebra, has nothing to do with fuzzy logic. (2) Elkan claims that De Morgan’s algebra “allows very little reasoning about collections of fuzzy assertions,” although he correctly states that when logical equivalence is restricted to De Morgan algebra equalities’ “collapse to two truth values is avoided.”
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملCan we enforce full compositionality in uncertainty cak
compositionality. At AAAI’93, Elkan has claimed to have a result trivializing fuzzy logic. This trivialization is based on too strong a view of equivalence in fuzzy logic and relates to a fully compositional treatment of uncertainty. Such a treatment is shown to be impossible in this paper. We emphasize the distinction between i) degrees of partial truth which are allowed to be truth functional...
متن کاملCan We Enforce Full Compositionality in Uncertainty Calculi?
At AAAI'93, Elkan has claimed to have a result trivializing fuzzy logic. This trivialization is based on too strong a view of equivalence in fuzzy logic and relates to a fully compositional treatment of uncertainty. Such a treatment is shown to be impossible in this paper. We emphasize the distinction between i) degrees of partial truth which are allowed to be truth functional and which pertain...
متن کاملA Logic for Reasoning about Fuzzy
| In this paper, we will present a framework for reasoning with vague and uncertain information by fuzzy truth-valued logics. It is shown that possibilistic logic, many-valued logic, and approximate reasoning can all be embodied in the uniform framework.
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کامل